Tea hing ASMs , Tea hing with ASMs :

Tea hing Linear Algebra with and to ComputersD

A Wavelet Transform Applet for Interactive Learning

In re ent years, new forms and te hniques of tea hing have appeared, based on the Internet and on multimedia appli ations. In the teletea hing Proje t Virtual University of the Upper Rhine Valley (VIROR), multimedia simulations and animations omplement traditional tea hing material. Le turers use Java applets in their ourses to explain omplex stru tures. These are then stored in a multimedia da...

Cocoa tea (Camellia ptilophylla) water extract inhibits adipocyte differentiation in mouse 3T3-L1 preadipocytes

Cocoa tea (Camellia ptilophylla) is a naturally decaffeinated tea plant. Previously we found that cocoa tea demonstrated a beneficial effect against high-fat diet induced obesity, hepatic steatosis, and hyperlipidemia in mice. The present study aimed to investigate the anti-adipogenic effect of cocoa tea in vitro using preadipocytes 3T3-L1. Adipogenic differentiation was confirmed by Oil Red O ...

Symmetry Classes of Alternating-Sign Matrices under One Roof

In a previous article [20], we derived the alternating-sign matrix (ASM) theorem from the Izergin determinant [12, 17] for a partition function for square ice with domain wall boundary. Here we show that the same argument enumerates three other symmetry classes of alternating-sign matrices: VSASMs (vertically symmetric ASMs), even HTSASMs (half-turn-symmetric ASMs), and even QTSASMs (quartertur...

A Semantic Characterization of Elementary Wide-Step ASMs

Abstract State Machines (ASMs) describe their behavior by a simple, yet expressive program syntax. While such syntax is useful for the application of ASMs as a modeling and specification language, it often complicates theoretical considerations. Gurevich solved this problem for the class of sequential small-step ASMs by proposing an elegant semantic axiomatization for this class. Later, Blass a...